大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

0
索取号:
作者:Klasing、 Ralf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Coordination Models and Languages [electronic resource] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings

0
索取号:
作者:Sirjani、 Marjan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Scientific Workflows [electronic resource] : Programming, Optimization, and Synthesis with ASKALON and AWDL

0
索取号:
作者:Qin、 Jun.、Fahringer、 Thomas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Science-Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

0
索取号:
作者:Hirsch、 Edward A.、Karhum盲ki、 Juhani.、Lepist枚、 Arto.、Prilutskii、 Michail.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mobile Wireless Middleware, Operating Systems, and Applications [electronic resource] : 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

0
索取号:
作者:Venkatasubramanian、 Nalini.、Getov、 Vladimir.、Steglich、 Stephan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Networked Digital Technologies [electronic resource] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II

0
索取号:
作者:Benlamri、 Rachid.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Networked Digital Technologies [electronic resource] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I

0
索取号:
作者:Benlamri、 Rachid.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 13th International Conference, XP 2012, Malm枚, Sweden, May 21-25, 2012. Proceedings

0
索取号:
作者:Wohlin、 Claes.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

A Primer on Scientific Programming with Python [electronic resource]

0
索取号:
作者:Langtangen、 Hans Petter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Topology in Image Context [electronic resource] : 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings

0
索取号:
作者:Ferri、 Massimo.、Frosini、 Patrizio.、Landi、 Claudia.、Cerri、 Andrea.、Fabio、 Barbara.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Technologies for Interactive Entertainment [electronic resource] : 4th International ICST Conference, INTETAIN 2011, Genova, Italy, May 25-27, 2011, Revised Selected Papers

0
索取号:
作者:Camurri、 Antonio.、Costa、 Cristina.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Bioinformatics Research and Applications [electronic resource] : 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings

0
索取号:
作者:Bleris、 Leonidas.、M膬ndoiu、 Ion.、Schwartz、 Russell.、Wang、 Jianxin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Trustworthy Global Computing [electronic resource] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

0
索取号:
作者:Bruni、 Roberto.、Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Decision Technologies [electronic resource] : Proceedings of the 4th International Conference on Intelligent Decision Technologies (IDT麓2012) - Volume 1

0
索取号:
作者:Watada、 Junzo.、Watanabe、 Toyohide.、Phillips-Wren、 Gloria.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Decision Technologies [electronic resource] : Proceedings of the 4th International Conference on Intelligent Decision Technologies (IDT麓2012) - Volume 2

0
索取号:
作者:Watada、 Junzo.、Watanabe、 Toyohide.、Phillips-Wren、 Gloria.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 鈥ʵne1, 2012. Proceedings

0
索取号:
作者:Beldiceanu、 Nicolas.、Jussien、 Narendra.、Pinson、 脡ric.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类